Do not manually create a directory in the zip file
authorKarl O. Pinc <kop@karlpinc.com>
Sat, 5 Oct 2024 00:45:37 +0000 (19:45 -0500)
committerKarl O. Pinc <kop@karlpinc.com>
Sat, 5 Oct 2024 00:45:37 +0000 (19:45 -0500)
commitaa628f955005fe375017942e2980920a9f69c47a
tree972df8b74606bc77f88fe6efe04c821940fe619c
parentbdd99029d443324833a0b2975e943a3245edd49e
Do not manually create a directory in the zip file

It seems that directories are created automatically, when "at=" paths
contain directories.  Since ZipFile.mkdir() does not exist until
Python 3.11, forgo manually creating the directory.
src/pgwui_sql/views/sql.py